Skip to content

phpcpd - add extensions configuration (--names option)#193

Merged
zdenekdrahos merged 1 commit into
masterfrom
phpcpd-names
Dec 7, 2019
Merged

phpcpd - add extensions configuration (--names option)#193
zdenekdrahos merged 1 commit into
masterfrom
phpcpd-names

Conversation

@zdenekdrahos

Copy link
Copy Markdown
Member

Fixes #170
#192

@zdenekdrahos zdenekdrahos merged commit 9199fad into master Dec 7, 2019
@zdenekdrahos zdenekdrahos deleted the phpcpd-names branch December 7, 2019 12:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

Phpcpd names option?

1 participant